COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.page frame 80 wide 54 high
C00010 ENDMK
C⊗;
.page frame 80 wide 54 high;
.DEVICE XGP;
.turn on "%";
.MACRO TABIT1(X)⊂ TURN ON "\" NOFILL TABS X;⊃
.MACRO TABIT2(X,Y)⊂TURN ON "\" NOFILL TABS X,Y;⊃
.FONT 1 "BASL30";		<<normal font>>
.FONT 2 "BASB30";		<<headings>>
.FONT 3 "ASI30.FNT[LSP,JRA]"	<<mexpr font:basi30+>>
.font 4 "NGR40";		<<big titles>>
.font 5 "metl"
.font 6 "mets"
Oct 16 *********** DRAFT DRAFT DRAFT ***********

.select 4
.begin center
CALL FOR PAPERS

1980 LISP Conference
.end
.select 1

The 1980 LISP Conference  hosted by Stanford University,  will be held  on
the Stanford campus, August 24-27, 1980.

%2PURPOSE%1
Many areas of contemporary computer science have their spiritual roots  in
developments related to  LISP.  The impact  of LISP on  AI is well  known;
this conference will  emphasize these other  contributions of LISP.  These
areas  include   machine   architecture,   systems   design,   programming
methodology and technology,  and a  theory of computation.   The call  for
papers reflects this breadth.


%2TOPICS%1 
The following  topics are typical, but not exclusive: 
.begin indent 5,10
%2Languages and Theory.%1 
Applicative languages, Object-oriented languages, Proving correctness
of LISP programs, Mathematics and formal semantics of LISP-like  languages.

%2Programming Aspects%1 Programming tools and environments
for LISP-like languages, applications of these ideas to other languages.

%2Architecture.%1 The design and implementation of LISP hardware
Adaptation to existing machines, 
Specially designed LISP machines.

%2Applications.%1 Non-traditional applications of LISP. This area, of
course, is not easily categorized.

.end

%2PAPER SUBMITTAL%1 Authors are requested to send four 
copies 
of a draft paper (word count ≤ ***4000***),
and **** one-page abstracts, by  March 14, 1980 to:
.BEGIN tabit1(15)
Conference Head
John R. Allen
Stanford Artificial Intelligence Lab
Stanford University
Stanford California 94305


.END
The abstract should provide sufficient detail to allow the committee
to apply  uniform criteria for acceptance. Appropriate references and
comparison to extant work should be included. The papers will be "blind
refereed"; therefore traces of authorship should not appear within the body
of the paper. 

Authors will  be notified of acceptance or rejection by May 23, 1980.
For inclusion in the proceedings, final papers are due at the above 
address by July 11, 1980.

%2PROGRAM COMMITTEE.%1 The committee consists of:
John R. Allen, 
Bruce Anderson,
Richard Fateman,
Dan Friedman,
Eiichi Goto,
Patrick Greussay,
Tony Hearn,
Carl Hewitt, 
Alan Kay,
Peter Landin,
Joachim Laubsch,
John McCarthy,
Gianfranco Prini,
Erik Sandewall,
Carolyn Talcott,
and
David Wise.


In charge of Local Arrangements is:
.BEGIN TABIT1(15);
Dr. Ruth E. Davis
Department of EECS
University of Santa Clara
Santa Clara, California   95053
984-4358
.END


%2MEETING FORMAT.%1
Besides the formal sessions, we expect to have several
demonstrations, including LISP machines.

Evening sessions  may be established, and informal workshops will be 
encouraged.


%2PANEL DISCUSSION.%1 Tuesday evening, August 26, 1980, there will be a 
panel discussion on the
topic "What is LISP?". Even informal conversations will 
elicit several divergent if not contradictory views of LISP;
a organized effort should prove even more illuminating.



.next page

.nofill
-----------
Patrick Greussay

------------
elaine
Corky Cartwright
Gerry Sussman
Vaughan Pratt
Guy Steele
Mike gordon
Bruce Anderson
cmu?
France?
England?
isi